Frege system - PDFSEARCH.IO - Document Search Engine

Frege system
Results: 15

#	Item
11	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
12	Are there Hard Examples for Frege Systems? Maria Luisa Bonet Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2004-11-24 07:53:45 Propositional calculus Mathematical logic Logic in computer science Frege system Automated theorem proving Computational complexity theory Gottlob Frege Tautology Mathematical proof Mathematics Logic Theoretical computer science
13	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
14	includestamp 1 Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2001-07-03 18:48:39 Formal systems Z notation Principia Mathematica Science Gottlob Frege Peano axioms Function Axiomatic system Axiom Mathematics Logic Mathematical logic
15	PDF Document Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2008-12-17 14:33:43 Computational complexity theory Logic in computer science Alexander Razborov Automated theorem proving Natural proof Nevanlinna Prize Proof complexity Frege system Steven Rudich Theoretical computer science Applied mathematics Mathematics